Chemomentum Virtual Organization Services
نویسندگان
چکیده
State Machines (ASM) are mathematically defined environment for high-level system design, verificationand analysis. In our previous work [1], a hybrid approach to specification, analysis and testing of grid statefulservices has been presented. This approach is based on using ASM, and allows for an easy integration of createdspecifications of developed middleware with existing components of grid systems. In this paper we show how this approach can be utilized for testing grid software, in order to verify theconformance between behaviours of specification and implementation. An important advantage of the proposedmethod is possibility to carrying out the on-line mode of testing, when tests are generated simultaneously withtheir execution. The use of this mode allows for reducing the total time of verification.
منابع مشابه
Combining Virtual Organization and Local Policies for Automated Configuration of Grid Services
We investigate approaches for the automated configuration of distributed Grid services. In particular, we implement several approaches for combining configuration information specified by a group of collaborating institutions (a Virtual Organization or VO) with local configuration parameters. We describe our implementation of merging strategies for configuring the Globus Replica Location Servic...
متن کاملA Model for Locating Services in Grid Environment
A model for locating services in grid is described here. It integrates the Grid framework OGSA (Open Grid Services Architecture) [1], using VO (Virtual Organization) [2] concept to divide logic grid services into different organizations based on its establishing purpose and requirement on resources sharing and services providing. The CARP hash-based information caching mechanism and a hierarchy...
متن کاملAn Approach to Inter-organizational Workflow Management in an Electronic Institution
In a virtual organization, different business partners (individual organizations) cooperate in order to achieve a common goal. The coordination of the corresponding inter-organizational workflow is an important issue. In this paper an approach towards managing the operational embodiment of a manufacturing consortium is presented. This approach is conceptualized as a service within an Electronic...
متن کاملDynamically Managing the Delivery of Web Services via Workflow and Feedback
The concept of automating the delivery of Web services functionality is an active research topic. This paper presents a comprehensive and overarching framework that supports the execution and delivery of Semantic Web services within the context of workflow management, and addresses the issues related to Virtual Organizations. The goal is to add semantics to Web services to endow them with capab...
متن کاملInstitutional Services for Dynamic Virtual Organizations
Electronic Institutions are comprehensive frameworks that may effectively help in the collaborative work of virtual organization activities. This paper focuses on an effort to create e-contracting and ontology-based services in the context of Electronic Institutions. The e-contracting services provide automatic specification of business agreements by formalizing them through e-contracts, and fu...
متن کامل